Formal Semantics
Portner, Paul H. (Georgetown University) / Partee, Barbara H. (University of Massachusetts at Amherst) Formal Semantics: The Essential Readings "is a collection of seminal papers that have shaped the field of formal semantics in linguistics.